/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30
␈↓␈↓↓␈↓α␈↓
␈↓ ↓H
␈↓ pAN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES

␈↓ ↓H

␈↓ ↓H
␈↓ α_The␈α⊂following␈α⊂story␈α⊂from␈α⊂the␈α⊂␈↓↓New␈α⊂York␈α⊂Times␈↓␈α∂is␈α∂my␈α∂candidate␈α∂for␈α∂a␈α∂target␈α∂for␈α∂a␈α∂natural
␈↓ ↓Hlanguage␈α∞understander.␈α∞The␈α∞story␈α∞is␈α∞about␈α∞a␈α∞real␈α∞world␈α∞event␈α∞and␈α∞therefore␈α∞the␈α∞intentions␈α∞of␈α
the
␈↓ ↓Hauthor␈α
are␈α
less␈α
relevant␈α
for␈α
answering␈α
questions␈α
than␈α
in␈α
the␈αcase␈αof␈αthe␈αstory␈αabout␈αTad␈αdiscussed
␈↓ ↓Hearlier␈αin␈αthe␈αnatural␈αlanguage␈αseminar.␈α␈↓αThe␈αmain␈αgoal␈αof␈αthis␈αdiscussion␈αis␈αto␈αsay␈αwhat␈αa␈αperson
␈↓ ↓Hknows␈α
who␈α
has␈α
understood␈α
the␈α
story.␈α
This␈α
seems␈α
to␈α
me␈αto␈αbe␈αpreliminary␈αto␈αmaking␈αprograms
␈↓ ↓Hthat␈α
can␈α
understand.␈↓

␈↓ α_"A␈α
61-year␈α
old␈α
furniture␈αsalesman␈αwas␈αpushed␈αdown␈αthe␈αshaft␈αof␈αa␈αfreight␈αelevator␈αyesterday
␈↓ ↓Hin␈α⊂his␈α⊂downtown␈α⊂Brooklyn␈α⊂store␈α⊂by␈α∂two␈α∂robbers␈α∂while␈α∂a␈α∂third␈α∂attempted␈α∂to␈α∂crush␈α∂him␈α∂with␈α∂the
␈↓ ↓Helevator␈α
car␈α
because␈α
they␈α
were␈α
dissatisfied␈α
with␈α
the␈α
$1,200␈α
they␈α
had␈α
forced␈α
him␈α
to␈α
give␈α
them.

␈↓ α_The␈αbuffer␈αsprings␈αat␈αthe␈αbottom␈αof␈αthe␈αshaft␈αprevented␈αthe␈αcar␈αfrom␈αcrushing␈αthe␈αsalesman,
␈↓ ↓HJohn␈α
J.␈α
Hug,␈α
after␈α
he␈α
was␈α
pushed␈α
from␈α
the␈α
first␈α
floor␈α
to␈α
the␈α
basement.␈α
The␈α
car␈αstopped␈αabout␈α12
␈↓ ↓Hinches␈α
above␈α
him␈α
as␈α
he␈α
flattened␈α
himself␈α
at␈α
the␈α
bottom␈α
of␈α
the␈α
pit..

␈↓ α_Mr.␈αHug␈αwas␈αpinned␈αin␈αthe␈αshaft␈αfor␈αabout␈αhalf␈αan␈αhour␈αuntil␈αhis␈α
cries␈α
attracted␈α
the␈α
attention
␈↓ ↓Hof␈α
a␈α
porter.␈α
The␈α
store␈α
at␈α
340␈α
Livingston␈α
Street␈α
is␈α
part␈α
of␈α
the␈α
Seaman's␈α
Quality␈α
Furniture␈α
chain.

␈↓ α_Mr.␈αHug␈αwas␈αremoved␈αby␈αmembers␈αof␈αthe␈αPolice␈αEmergency␈αSquad␈αand␈αtaken␈αto␈αLong␈αIsland
␈↓ ↓HCollege␈αHospital.␈αHe␈αwas␈αbadly␈αshaken,␈αbut␈αafter␈αbeing␈αtreated␈αfor␈αscrapes␈αof␈αhis␈αleft␈αarm␈αand␈αfor␈αa
␈↓ ↓Hspinal␈α
injury␈α
was␈α
released␈α
and␈α
went␈α
home.␈α
He␈α
lives␈α
at␈α
62-01␈α
69th␈α
Lane,␈α
Maspeth,␈α
Queens.

␈↓ α_He␈α
has␈α
worked␈αfor␈αseven␈αyears␈αat␈αthe␈αstore,␈αon␈αthe␈αcorner␈αof␈αNevins␈αStreet,␈αand␈αthis␈αwas␈αthe
␈↓ ↓Hfourth␈αtime␈αhe␈αhad␈αbeen␈αheld␈αup␈αin␈αthe␈αstore.␈αThe␈αlast␈αtime␈αwas␈αabout␈αone␈αyear␈αago,␈αwhen␈α
his␈α
right
␈↓ ↓Harm␈α
was␈α
slashed␈α
by␈α
a␈α
knife-wielding␈α
robber."

␈↓ α_An␈α
intelligent␈α
person␈α
or␈α
program␈α
should␈α
be␈α
able␈α
to␈α
answer␈αthe␈αfollowing␈αquestions␈αbased␈αon
␈↓ ↓Hthe␈α
information␈α
in␈α
the␈α
story:

␈↓ α_1.␈α⊃Who␈α⊃was␈α⊃in␈α⊃the␈α⊂store␈α⊂when␈α⊂the␈α⊂events␈α⊂began?␈α⊂Probably␈α⊂Mr.␈α⊂Hug␈α⊂alone.␈α⊂although␈α⊂the
␈↓ ↓Hrobbers␈αmight␈α
have␈α
been␈α
waiting␈α
for␈α
him,␈α
but␈α
if␈α
so,␈α
this␈α
would␈α
have␈α
probably␈α
been␈α
stated.␈α
What␈α
did
␈↓ ↓Hthe␈α
porter␈α
say␈α
to␈α
the␈α
robbers?␈α
Nothing,␈α
because␈α
the␈α
robbers␈α
left␈α
before␈α
he␈α
came.

␈↓ α_2.␈α
Who␈α
was␈α
in␈α
the␈α
store␈α
during␈α
the␈α
attempt␈α
to␈α
kill␈α
Mr.␈α
Hug?␈α
Mr.␈α
Hug␈α
and␈α
the␈α
robbers.

␈↓ α_3.␈α
Who␈α
had␈α
the␈α
money␈α
at␈α
the␈α
end?␈α
The␈α
robbers.

␈↓ α_4.␈α
Is␈α
Mr.␈α
Hug␈α
alive␈α
today?␈α
Yes,␈α
unless␈α
something␈α
else␈α
has␈α
happened␈α
to␈α
him.

␈↓ α_5.␈α
How␈α
did␈α
Mr.␈α
Hug␈α
get␈α
hurt?␈α
Probably␈α
when␈α
he␈α
hit␈α
the␈α
bottom␈α
of␈α
the␈α
shaft.

␈↓ α_6.␈α∞Where␈α∞is␈α∞Mr.␈α∞Hug's␈α∞home?␈α∞(A␈α∞question␈α
whose␈α
answer␈α
requires␈α
a␈α
literal␈α
understanding␈α
of
␈↓ ↓Honly␈α
one␈α
sentence␈α
of␈α
the␈α
stories.)

␈↓ α_7.␈α
What␈α
are␈α
the␈α
names␈α
and␈α
addresses␈α
of␈α
the␈α
robbers?␈α
This␈α
information␈α
is␈α
not␈α
available.

␈↓ α_8.␈α
Was␈α
Mr.␈α
Hug␈α
conscious␈α
after␈α
the␈α
robbers␈α
left?␈α
Yes,␈α
he␈α
cried␈α
out␈α
and␈α
his␈α
cries␈α
were␈α
heard.

␈↓ α_9.␈αWhat␈αwould␈αhave␈αhappened␈αif␈αMr.␈αHug␈αhad␈αnot␈αflattened␈αhimself␈αat␈α
the␈α
bottom␈α
of␈α
the␈α
pit?
␈↓ ↓HWhat␈α
would␈α
have␈α
happened␈α
if␈α
there␈α
were␈α
no␈α
buffer␈α
springs?␈α
Mr.␈α
Hug␈α
would␈α
have␈α
been␈α
crushed?

␈↓ α_10.␈α
Did␈α
Mr.␈α
Hug␈α
want␈α
to␈α
be␈α
crushed?␈α
No.

␈↓ α_11.␈α
Did␈α
the␈α
robbers␈α
tell␈α
Mr.␈α
Hug␈α
their␈α
names?␈α
No.

␈↓ α_12.␈α
Were␈α
the␈α
robbers␈α
present␈α
when␈α
the␈α
porter␈α
came?␈α
No.

␈↓ α_13.␈α
Did␈α
Mr.␈α
Hug␈α
like␈α
the␈α
robbers,␈α
and␈α
did␈α
they␈α
like␈α
him?

␈↓ α_14.␈α⊂Why␈α⊂did␈α⊂the␈α⊂robbers␈α⊂leave␈α⊂without␈α⊂killing␈α⊂Mr.␈α⊂Hug?␈α∂Perhaps,␈α∂they␈α∂thought␈α∂they␈α∂had
␈↓ ↓Hkilled␈αhim,␈αand␈αperhaps␈αtheir␈αanger␈αwas␈αappeased␈αby␈αthe␈αactions␈αthey␈αhad␈αperformed,␈αand␈αperhaps
␈↓ ↓Hthey␈αhad␈αtaken␈αall␈αthe␈αtime␈αthey␈αdared,␈αand␈αperhaps␈αsomething␈αspecific␈αhappened␈αto␈αfrighten␈αthem
␈↓ ↓Haway.

␈↓ α_15.␈α
What␈α
would␈α
have␈αhappened␈αif␈αMr.␈αHug␈αhad␈αtried␈αto␈αrun␈αaway?␈αPerhaps␈αhe␈αwould␈αhave
␈↓ ↓Hsucceeded,␈αbut␈αmore␈αlikely␈αthey␈αwould␈αhave␈αinjured␈αor␈αkilled␈αhim␈αsince␈αprobably␈αthey␈αhad␈αweapons,
␈↓ ↓Hand␈α
there␈α
were␈α
three␈α
of␈α
them.

␈↓ α_16.␈αWhat␈αcan␈αMr.␈αHug␈αdo␈αto␈αavoid␈αthis␈αin␈αthe␈αfuture?␈αNo␈αsolution␈αis␈αentirely␈αsatisfactory.␈αHe
␈↓ ↓Hcould␈αcarry␈αa␈αgun␈αor␈αhe␈α
could␈α
quit␈α
or␈α
he␈α
could␈α
get␈α
his␈α
employers␈α
to␈α
install␈α
an␈α
alarm␈α
system␈α
or␈α
maybe
␈↓ ↓Hhe␈α
will␈α
be␈α
lucky.

␈↓ α_17.␈α
Did␈α
Mr.␈α
Hug␈α
know␈α
he␈α
was␈α
going␈α
to␈α
be␈α
robbed?␈α
Does␈α
he␈α
know␈α
that␈α
he␈α
was␈α
robbed?

␈↓ α_18.␈α⊂Was␈α⊂Mr.␈α⊂Hug's␈α⊂right␈α⊂arm␈α⊂slashed␈α∂before␈α∂his␈α∂left␈α∂arm␈α∂was␈α∂scratched?␈α∂Yes,␈α∂because␈α∂the
␈↓ ↓Hformer␈α
was␈α
a␈α
year␈α
ago.

␈↓ α_19.␈α
How␈α
did␈α
the␈α
robber␈α
try␈α
to␈α
crush␈α
him␈αwith␈αthe␈αcar?␈αBy␈αpressing␈αthe␈αbuttons␈αor␈αoperating
␈↓ ↓Hthe␈α
control␈α
lever␈α
to␈α
make␈α
the␈α
car␈α
go␈α
to␈α
the␈α
bottom␈α
of␈α
the␈α
shaft.

␈↓ α_20.␈αWhy␈αdid␈αMr.␈αHug␈αyell␈αfrom␈αthe␈αbottom␈αof␈αthe␈αelevator␈α
shaft?␈α
So␈α
as␈α
to␈α
attract␈α
the␈α
attention
␈↓ ↓Hof␈α
someone␈α
who␈α
would␈α
rescue␈α
him.

␈↓ α_21.␈α
How␈α
long␈α
did␈α
the␈α
events␈α
take?␈α
More␈αthan␈αhalf␈αan␈αhour␈αbut␈αless␈αthan␈αa␈αday.␈αMost␈αof␈αthe
␈↓ ↓Htime␈α
was␈α
spent␈α
by␈α
Mr.␈α
Hug␈α
filling␈α
out␈α
forms␈α
in␈α
the␈α
hospital.

␈↓ α_The␈αabove␈αlist␈αof␈α
questions␈α
is␈α
rather␈α
random.␈α
I␈α
doubt␈α
that␈α
it␈α
covers␈α
all␈α
facets␈α
of␈α
understanding
␈↓ ↓Hthe␈αstory.␈αIt␈αwould␈αbe␈αworthwhile␈αto␈αtry␈αto␈αmake␈αup␈αa␈αlist␈αof␈αquestions␈αthat␈αdoes␈αcover␈αsubstantially
␈↓ ↓Hall␈αaspects␈αof␈αthe␈αstory␈αin␈αorder␈αto␈αget␈αas␈αcomplete␈αas␈αpossible␈αan␈αintuitive␈αidea␈αof␈αwhat␈αcapabilities
␈↓ ↓Hare␈α
involved␈α
in␈α
understanding␈α
such␈α
a␈α
story.

␈↓ α_Note␈αthat␈αthe␈αstory␈αis␈αabout␈αa␈αreal␈αevent␈αso␈αthat␈α
such␈α
a␈α
question␈α
as␈α
what␈α
does␈α
the␈α
"J"␈α
in␈α
"John
␈↓ ↓HJ.␈α∞Hug"␈α∞stand␈α
for␈α
has␈α
an␈α
answer.␈α
In␈α
the␈α
story␈α
about␈α
Tad,␈α
the␈α
question␈α
of␈α
what␈α
was␈α
Tad's␈α
middle
␈↓ ↓Hname␈α
or␈α
what␈α
year␈α
the␈α
story␈α
occurred␈α
in␈α
does␈α
not␈α
necessarily␈α
have␈α
an␈α
answer.

␈↓ α_I␈αthink␈αthat␈αartificial␈αintelligence␈αis␈α
not␈α
very␈α
close␈α
to␈α
being␈α
able␈α
to␈α
understand␈α
such␈α
stories␈α
in␈α
a
␈↓ ↓Hgenuine␈αway.␈αTherefore,␈αI␈αwould␈αlike␈αto␈αsneak␈αup␈αon␈αit␈α
gradually␈α
by␈α
dividing␈α
the␈α
problem␈α
into␈α
parts
␈↓ ↓Hwhich␈α
can␈α
be␈α
attacked␈α
separately.␈α
Here␈α
are␈α
some␈α
of␈α
the␈α
components:

␈↓ α_1.␈αA␈αformalism␈αcapable␈αof␈αexpressing␈αthe␈αassertions␈αof␈αthe␈αsentences␈αfree␈αfrom␈αdependence␈αon
␈↓ ↓Hthe␈α∂grammar␈α∂of␈α∂the␈α∂English␈α∂language.␈α∂A␈α∂good␈α∂test␈α∂for␈α∂such␈α∂a␈α∂formalism␈α∂would␈α∂be␈α∞to␈α∞produce␈α∞a
␈↓ ↓Hprogram␈α
for␈α
translating␈α
from␈α
the␈α
formalism␈α
into␈α
any␈α
of␈α
several␈α
natural␈αlanguages.␈αMore␈αweakly,␈αit
␈↓ ↓Hshould␈α⊃be␈α⊃as␈α⊃easy␈α⊃for␈α⊃a␈α⊃human␈α⊃to␈α⊃translate␈α⊃from␈α⊃the␈α⊃formalism␈α⊃into␈α⊂a␈α⊂natural␈α⊂language␈α⊂as␈α⊂to
␈↓ ↓Htranslate␈α
from␈α
one␈α
known␈α
natural␈α
language␈α
to␈α
another.

␈↓ α_The␈α⊃grammar␈α⊂of␈α⊂such␈α⊂a␈α⊂language␈α⊂would␈α⊂be␈α⊂trivial␈α⊂and␈α⊂mathematical␈α⊂in␈α⊂character.␈α⊂There
␈↓ ↓Hwould␈αbe␈α
an␈α
"English"␈α
version␈α
of␈α
the␈α
formalism␈α
in␈α
which␈α
English␈α
words␈α
were␈α
used␈α
as␈α
identifiers,␈α
but
␈↓ ↓Hthere␈αwould␈αstill␈αhave␈αto␈αbe␈αa␈αglossary␈α
that␈α
gives␈α
the␈α
precise␈α
meaning␈α
of␈α
the␈α
identifiers.␈α
There␈α
would
␈↓ ↓Halso␈αbe␈αa␈αGerman␈αand␈αa␈αJapanese␈αversion.␈αThe␈αtranslation␈αfrom␈αthe␈αEnglish␈αversion␈αto␈αthe␈αGerman
␈↓ ↓Hor␈αJapanese␈αversion␈αwould␈αbe␈αa␈αsimple␈αsubstitution␈αfor␈αidentifiers,␈αand␈αa␈αGerman␈αor␈αJapanese␈αwho
␈↓ ↓Hhad␈α∂learned␈α∂the␈α∂grammar␈α∂could␈α∂then␈α∂translate␈α∂into␈α∂his␈α∂language␈α∂with␈α∞the␈α∞aid␈α∞of␈α∞the␈α∞German␈α∞or
␈↓ ↓HJapanese␈α
glossary.

␈↓ α_This␈αidea␈αhas␈αsome␈αresemblance␈αto␈αthe␈αidea␈αof␈α"deep␈αstructure",␈α
but␈α
I␈α
have␈α
some␈α
doubts␈α
about
␈↓ ↓Hwhether␈α
that␈α
idea␈α
is␈α
well␈α
enough␈α
defined␈α
to␈α
say␈α
definitely␈α
whether␈α
it␈α
meets␈α
the␈α
above␈α
criteria.

␈↓ α_2.␈α∞A␈α∞data␈α∞structure␈α∞for␈α∞expressing␈α∞the␈α∞facts␈α
(apart␈α
from␈α
expressing␈α
the␈α
sentences).␈α
In␈α
such␈α
a
␈↓ ↓Hdata␈αstructure,␈αit␈αwould␈αbe␈αdefinite␈αwhich␈αrobber␈αpushed␈αMr.␈αHug␈αfirst,␈αand␈αwhat␈αthe␈αrobbers␈αsaid
␈↓ ↓Heven␈α
though␈α
it␈α
is␈αnot␈αstated␈αin␈αthe␈αstory.␈αClearly␈αsome␈αcompromise␈αis␈αnecessary␈αhere,␈αsince␈αthe␈αdata
␈↓ ↓Hstructure␈α
need␈α
not␈α
be␈α
able␈α
to␈α
express␈α
positions␈α
and␈α
velocities␈α
of␈α
molecules.

␈↓ α_The␈αbasis␈αof␈αthis␈αdata␈αstructure␈αmight␈αbe␈αvarious␈αnetworks␈αof␈αnodes␈αdescribed␈αby␈αsentences␈α
in
␈↓ ↓Hthe␈αpredicate␈αcalculus.␈αSome␈αof␈αthe␈αsentences␈αwould␈αassert␈αthat␈αcertain␈αprograms␈αapplied␈αto␈αthe␈αdata
␈↓ ↓Hstructures␈αwould␈αanswer␈αcertain␈αquestions.␈αWhen␈α
such␈α
sentences␈α
existed,␈α
reasoning␈α
would␈α
include␈α
the
␈↓ ↓Hoperation␈α
of␈α
the␈α
programs.␈α
In␈α
this␈α
way,␈α
we␈α
would␈α
expect␈αto␈αavoid␈αthe␈αextreme␈αprolixity␈αthat␈αarises
␈↓ ↓Hwhen␈α
we␈α
attempt␈α
to␈α
do␈α
even␈α
simple␈α
calculations␈α
by␈α
pure␈α
predicate␈α
calculus␈α
deduction.

␈↓ α_The␈α∂test␈α∂of␈α∂success␈α∂for␈α∂the␈α∂"data␈α∂structure"␈α∂would␈α∂be␈α∂that␈α∂a␈α∂human␈α∂could␈α∂readily␈α∞formally
␈↓ ↓Hdeduce␈α
the␈α
answers␈αto␈αthe␈αabove␈αquestions␈αusing␈αa␈αproof␈αchecker.␈αMost␈αof␈αthe␈αproof-checker␈αwould
␈↓ ↓Hbe␈α
straightforward,␈α
but␈α
there␈α
is␈α
a␈α
major␈α
problem␈αconcerned␈αwith␈αwhen␈αit␈αis␈αpossible␈αto␈α"jump␈αto␈αa
␈↓ ↓Hconclusion".

␈↓ α_3.␈α
I␈α
see␈α
each␈α
of␈α
the␈α
following␈α
problems␈α
as␈α
a␈α
difficult␈α
AI␈α
problem:

␈↓ α_a.␈α
A␈α
"parser"␈α
that␈α
takes␈α
English␈α
into␈α
the␈α
"syntax␈α
free␈α
language".

␈↓ α_b.␈α
An␈α
"understander"␈α
that␈α
constructs␈α
the␈α
"facts"␈α
from␈α
a␈α
text␈α
in␈α
the␈α
"syntax␈α
free␈α
language".

␈↓ α_c.␈α∪Expression␈α∪of␈α∩the␈α∩"general␈α∩information"␈α∩about␈α∩the␈α∩world␈α∩that␈α∩could␈α∩allow␈α∩getting␈α∩the
␈↓ ↓Hanswers␈α∞to␈α∞the␈α∞questions␈α∞by␈α∞formal␈α∞reasoning␈α
from␈α
the␈α
"facts"␈α
and␈α
the␈α
"general␈α
information".␈α
The
␈↓ ↓H"general␈α∪information"␈α∪would␈α∪also␈α∪contain␈α∩non-sentence␈α∩data␈α∩structures␈α∩and␈α∩procedures,␈α∩but␈α∩the
␈↓ ↓Hsentences␈α
would␈α
tell␈α
what␈α
goals␈α
can␈α
be␈α
achieved␈α
by␈αrunning␈αthe␈αprocedures.␈αIn␈αthis␈αway,␈αwe␈αwould
␈↓ ↓Hget␈α
the␈α
best␈α
of␈α
the␈α
sentential␈α
and␈α
procedural␈α
representations␈α
of␈α
knowledge.

␈↓ α_d.␈α
A␈α
"problem␈α
solver"␈α
that␈α
could␈α
answer␈α
the␈α
above␈α
questions␈α
on␈α
the␈α
basis␈α
of␈αthe␈α"facts".␈αWe
␈↓ ↓Himagine␈α∞the␈α∞questions␈α∞to␈α∞be␈α∞expressed␈α∞in␈α∞the␈α∞"fact"␈α
language␈α
and␈α
expect␈α
the␈α
answers␈α
in␈α
the␈α
"fact"
␈↓ ↓Hlanguage,␈α∞i.e.␈α∞we␈α∞avoid␈α∞grammar␈α∞problems␈α
in␈α
both␈α
understanding␈α
the␈α
questions␈α
and␈α
in␈α
expressing
␈↓ ↓Hthe␈α
answers.